Semi-Analytic Geometry with R-Functions
نویسنده
چکیده
V. L. Rvachev called R-functions “logically-charged functions” because they encode complete logical information within the standard setting of real analysis. He invented them in the 1960s as a means for unifying logic, geometry, and analysis within a common computational framework – in an effort to develop a new computationally effective language for modeling and solving boundary value problems. Over the last forty years, R-functions have been accepted as a valuable tool in computer graphics, geometric modeling, computational physics, and in many areas of engineering design, analysis, and optimization. Yet, many elements of the theory of R-functions continue to be rediscovered in different application areas and special situations. The purpose of this survey is to expose the key ideas and concepts behind the theory of R-functions, explain the utility of R-functions in a broad range of applications, and to discuss selected algorithmic issues arising in connection with their use.
منابع مشابه
Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function
Recall that a subset of R is called semi-algebraic if it can be represented as a (finite) boolean combination of sets of the form {~ α ∈ R : p(~ α) = 0}, {~ α ∈ R : q(~ α) > 0} where p(~x), q(~x) are n-variable polynomials with real coefficients. A map from R to R is called semi-algebraic if its graph, considered as a subset of R, is so. The geometry of such sets and maps (“semi-algebraic geome...
متن کاملFrontier and Closure of a Semi-Pfaffian Set
For a semi-Pfaffian set, i.e., a real semianalytic set defined by equations and inequalities between Pfaffian functions in an open domain G, the frontier and closure in G are represented as semi-Pfaffian sets. The complexity of this representation is estimated in terms of the complexity of the original set. Introduction. Pfaffian functions introduced by Khovanskii [K] are analytic functions sat...
متن کاملOn Sandwich theorems for certain classes of analytic functions
The purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. Relevant connections of the results, which are presented in the paper, with various known results are also considered.
متن کاملAn Extension of Poincare Model of Hyperbolic Geometry with Gyrovector Space Approach
The aim of this paper is to show the importance of analytic hyperbolic geometry introduced in [9]. In [1], Ungar and Chen showed that the algebra of the group $SL(2,mathbb C)$ naturally leads to the notion of gyrogroups and gyrovector spaces for dealing with the Lorentz group and its underlying hyperbolic geometry. They defined the Chen addition and then Chen model of hyperbolic geomet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007